Nhầm lẫn và tranh cãi Logic mờ

Lôgic mờ chính là "lôgic không chính xác"Lôgic mờ chính xác không kém bất kỳ dạng lôgic nào khác: đây là một phương pháp toán học có tổ chức để làm việc với các khái niệm 'có bản chất không chính xác. Khái niệm "lạnh" không thể được biểu diễn trong một phương trình, vì mặc dù nhiệt độ là một đại lượng đo được nhưng "lạnh" thì lại không. Tuy nhiên, người ta vẫn có khái niệm về "lạnh", và đồng ý với nhau rằng không có ranh giới chính xác giữa "lạnh" và "không lạnh" chẳng hạn như một thứ gì đó ở nhiệt độ N được gọi là lạnh nhưng khi ở nhiệt độ N + 1 thì được xem là "không lạnh" — một khái niệm mà lôgic cổ điển không thể dễ dàng xử lý được.Lôgic mờ là một cách mới để biểu diễn xác suấtLôgic mờ và xác suất nói đến các loại không chắc chắn khác nhau. Lôgic mờ được thiết kế để làm việc với các sự kiện không chính xác (các mệnh đề lôgic mờ), trong khi xác suất làm việc với các khả năng sự kiện đó xảy ra (nhưng vẫn coi kết quả là chính xác). Tuy nhiên, đây là một điểm gây tranh cãi. Nhiều nhà thống kê đã bị thuyết phục bởi công trình nghiên cứu của Bruno de Finetti rằng chỉ cần đến duy nhất một loại không chắc chắn toán học và do đó lôgic mờ là không cần thiết. Mặt khác, Bart Kosko lý luận rằng xác suất là một lý thuyết con của lôgic mờ, do xác suất chỉ làm việc với một loại không chắc chắn. Ông còn khẳng định rằng mình đã chứng minh một dẫn xuất định lý Bayes từ khái niệm tập con mờ. Lotfi Zadeh, người tạo ra lôgic mờ, lý luận rằng lôgic mờ khác xác suất về đặc tính, và không phải là một sự thay thế cho xác suất. Ông đã tạo một loại xác suất mờ khác, và gọi đó là lý thuyết khả năng (possibility theory). Các cách tiếp cận gây tranh cãi khác tới sự không chắc chắn bao gồm: lý thuyết Dempster-Shafertập thô (rough set).Khó triển khai lôgic mờ cho các bài toán lớnNăm 1993, trong một bài báo được lan truyền rộng và gây nhiều tranh cãi, Charles Elkan bình luận rằng "...có rất ít, nếu không muốn nói là không hề có, các báo cáo đã công bố về hệ chuyên gia được sử dụng thực tế dùng đến lập luận đó về lôgic mờ. Có vẻ như là các hạn chế của lôgic mờ đã không gây hại trong các ứng dụng điều khiển là vì các bộ điều khiển mờ hiện hành đơn giản hơn nhiều so với các hệ thống dựa tri thức khác. Trong tương lai, các hạn chế kỹ thuật của lôgic mờ có thể trở nên quan trọng trong thực tiễn, và các công trình về các bộ điều khiển mờ sẽ gặp phải một số vấn đề về triển khai được biết với các hệ thống dựa tri thức khác". Các phản ứng đối với bài báo của Elkan có nhiều và đa dạng, một số cho rằng đơn giản là ông đã nhầm, một số khác công nhận rằng Elkan đã chỉ ra những hạn chế quan trọng của lôgic mờ mà những người thiết kế hệ thống cần phải quan tâm. Trong thực tế, vào thời điểm đó, lôgic mờ chưa được sử dụng rộng rãi, còn ngày nay, nó đã được dùng để giải những bài toán rất phức tạp trong lĩnh vực trí tuệ nhân tạo.